O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de sistemas reactivos , com ênfase na sua composição concorrente ...
Education/PeC Web Preferences The following settings are web preferences of the Education/PeC web. These preferences overwrite the site level preferences in ...